1. A 25-Year Perspective on Logic Programmin
Author: / edited by Agostino Dovier, Enrico Pontelli
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Information theory.,Logic design.,Artificial intelligence.
2. Algebraic and Logic Programming :
Author: edited by Michael Hanus, Mario Rodríguez-Artalejo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
3. Artificial Intelligence in Logic Design
Author: by Svetlana N. Yanushkevich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
4. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
Author: Puppis, Gabriele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
Classification :
QA
267
.
P87
2010
5. Beyond Two: Theory and Applications of Multiple-Valued Logic
Author: edited by Melvin Fitting, Ewa Orłowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computer science.,Logic design.
6. Biomimetic and Biohybrid Systems :
Author: edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
Classification :
T173
.
8
.
L58
2019
7. Computational Logic :
Author: edited by John W. Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA76
.
9
.
A96
E358
1990
8. Descriptional complexity of formal systems :
Author: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
Classification :
QA76
.
5913
D34
2019
9. Developments in Language Theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
10. Graph Structures for Knowledge Representation and Reasoning
Author: edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
11. Implementation and Application of Functional Languages
Author: edited by Sven-Bodo Scholz, Olaf Chitil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
12. Implementation and Application of Functional Languages
Author: edited by Marco T. Morazán, Sven-Bodo Scholz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
13. Logic-Based Program Synthesis and Transformation
Author: edited by María Alpuente.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
14. Logic Program Synthesis and Transformation :
Author: edited by Maurizio Proietti.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
15. Logics in Artificial Intelligence :
Author: edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
1994
16. Multiagent System Technologies
Author: edited by Franziska Klügl, Sascha Ossowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
17. Programming Languages Implementation and Logic Programming :
Author: edited by P. Deransart, B. Lorho, J. Małuszyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
18. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
Author: edited by Linda C. van der Gaag.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
2013
19. The Parametric Lambda Calculus :
Author: by Simona Ronchi Della Rocca, Luca Paolini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA9
.
5
B975
2004
20. Towards Evolvable Hardware :
Author: edited by Eduardo Sanchez, Marco Tomassini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
TK7888
.
4
E358
1996
